Indexical knowledge and robot action—a logical account
نویسندگان
چکیده
منابع مشابه
Indexical Knowledge and Robot Action - A Logical Account
The knowledge required for action is generally indexical rather than objective. For example, a robot that knows the relative position of an object is generally able to go and pick it up; he need not know its absolute position. Agents may have very incomplete knowledge of their situation in terms of what objective facts hold and still be able to achieve their goals. This paper presents a formal ...
متن کاملIndexical Knowledge in Robot Plans
Robots act upon and perceive the world from a particular perspective. It is important to recognize this relativity to perspective if one is not to be overly demanding in specifying what they need to know in order to be able to achieve goals through action. In this paper, we show how a formal theory of knowledge and action proposed in (Lesperance 1989) can be used to formalize several kinds of s...
متن کاملIndexical Identification: A Perspectival Account
It is widely agreed that the references of indexical expressions are fixed partly by their relations to contextual parameters such as the author, time, and place of the utterance. Because of this, indexicals are sometimes described as token-reflexive or utterance-reflexive in their semantics. But when we inquire into how indexicals help us to identify items within experience, we find that while...
متن کاملIndexical Grounding for a Mobile Robot
We have outfitted a mobile research robot with several sensors and algorithms designed to facilitate smalland large-scale navigation and natural language interaction. We begin with a parser using a large, hand-crafted English grammar and lexicon. We then add a standard gradient navigation algorithm for local obstacle avoidance, and a line segment comparison algorithm for basic, high-performance...
متن کاملA Logical Account of NGSCB
As its name indicates, NGSCB aims to be the “Next-Generation Secure Computing Base”. As envisioned in the context of Trusted Computing initiatives, NGSCB provides protection against software attacks. This paper describes NGSCB using a logic for authentication and access control. Its goal is to document and explain the principals and primary APIs employed in NGSCB.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 1995
ISSN: 0004-3702
DOI: 10.1016/0004-3702(94)00010-x